Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions by Atul Adya Submitted to the Department of Electrical Engineering and Computer Science

Source URL: pmg.csail.mit.edu

Algebraic Laws for Weak Consistency Andrea Cerone1 , Alexey Gotsman2 , and Hongseok Yang3 1 2 3

Source URL: software.imdea.org

Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models Jade Alglave Microsoft Research Cambridge, University College London, UK ,

Source URL: cs.nyu.edu

L8: Memory Models CSE 452 Winter 2016 “There are only two hard things in computer science: cache invalidation and naming things.”
 - Phil Karlton

Source URL: courses.cs.washington.edu

• Computing
• Computer architecture
• Transaction processing
• Concurrency control
• Consistency model
• Cache coherency
• Sequential consistency
• Linearizability
• Cache
• Eventual consistency
• Sync
• Weak consistency

A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London

Source URL: www0.cs.ucl.ac.uk

• Theoretical computer science
• Cognitive science
• Logic in computer science
• Computing
• Actor model
• Concurrent computing
• Consistency model
• Semantics
• Memory
• Stable model semantics

Weak Consistency and Disconnected Operation in git Raymond Cheng

Source URL: courses.cs.washington.edu

• Version control
• Cat
• Concurrent Versions System
• Git
• Branching
• Repository

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 11, NO. 6, NOVEMBERIDECEMBERData Consistency in Intermittently Connected Distributed Systems

Source URL: www.cs.uoi.gr

• Transaction processing
• Data management
• Concurrency control
• Serializability
• Schedule
• Database transaction
• Quorum
• Extensible Storage Engine
• Consistency
• Data consistency
• Replication
• Weak consistency

Bayou All about embracing weak connectivity and disconnected operation - old world: LANs and continuous connectivity, chatty protocols, strong consistency and coherence guarantees

Source URL: courses.cs.washington.edu

From Graphs to Manifolds – Weak and Strong Pointwise Consistency of Graph Laplacians Matthias Hein1 , Jean-Yves Audibert2 , and Ulrike von Luxburg3 1 Max Planck Institute for Biological Cybernetics, T¨

Source URL: imagine.enpc.fr

Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions by Atul Adya Submitted to the Department of Electrical Engineering and Computer Science

Source URL: www.pmg.lcs.mit.edu